The set type specifies two parameters for completion:

• The member type (or element type) specifies a type that includes every member. The method _'s⁇element|member type answers the member type of a set type.
• The cardinality restriction is an integral type that specifies the range of sizes that describe instances. The method `|`|_`|`| answers the cardinality restriction of a set type. The floor operation, ⎣_⎦, answers the lower bound of a set type's cardinality restriction. The ceiling operation, ⎡_⎤, answers the upper bound of a set type's cardinality restriction.